<body>
Java-specific sequence model elements.
</body>